formal, sistema


formal, sistema
En lógica, lenguaje formal, en conjunto con un aparato deductivo, por medio del cual algunas fórmulas bien construidas pueden ser derivadas de otras.

Cada sistema formal tiene un lenguaje formal compuesto de símbolos primarios que figuran en ciertas reglas de formación (enunciados concernientes a las expresiones permitidas en el sistema) y un conjunto de teoremas derivados por inferencia de un conjunto de axiomas. En un método axiomático, los símbolos primarios no se definen y todos los símbolos restantes se definen a partir de ellos. En la geometría euclidiana, por ejemplo, conceptos como "punto, "línea, y "reside en son generalmente postulados como términos primarios. A partir de los símbolos primarios se definen ciertas fórmulas como bien construidas, algunas de las cuales son consideradas axiomas, y se establecen reglas para inferir una fórmula como conclusión de una o más fórmulas distintas tomadas como premisas. Dentro de tal sistema, un teorema es una fórmula que puede ser probada mediante una secuencia finita de fórmulas bien construidas, cada una de las cuales es un axioma o una fórmula válidamente inferida a partir de fórmulas anteriores.

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Sistema — (Del gr. systema.) ► sustantivo masculino 1 Conjunto ordenado de normas o procedimientos que contribuyen a un fin o con que funciona o se hace funcionar una cosa: ■ sistema político; sistema educativo. SINÓNIMO modelo norma 2 Conjunto organizado… …   Enciclopedia Universal

  • Sistema de información — (SI) es un conjunto de elementos orientados al tratamiento y administración de datos e información, organizados y listos para su posterior uso, generados para cubrir una necesidad (objetivo). Dichos elementos formarán parte de alguna de estas… …   Wikipedia Español

  • Sistema de la Integración Centroamericana — (SICA) Bandera …   Wikipedia Español

  • Sistema Metropolitano de Transporte — Saltar a navegación, búsqueda Metropolitano Ubicación Lima Tipo BTR (Bus de Transito Rapido) …   Wikipedia Español

  • Sistema formal — La noción de sistema formal se utiliza para proporcionar una definición rigurosa del concepto de demostración en lógica y en matemáticas. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema… …   Wikipedia Español

  • Sistema de referencia no inercial — Figura 1. Sistema de referencia en rotación (S ) con respecto a otro sistema (S). En mecánica newtoniana se dice que un sistema de re …   Wikipedia Español

  • Sistema deductivo — Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) esta constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema. Tal sistema deductivo tiene como propósito… …   Wikipedia Español

  • Sistema multi-agente — Un sistema multiagente (SMA) es un sistema compuesto por múltiples agentes inteligentes que interactúan entre ellos. Los sistemas multiagente pueden ser utilizados para resolver problemas que son difíciles o imposibles de resolver para un agente… …   Wikipedia Español

  • Sistema formal — Un sistema formal o un sistema axiomático es un artificio matemático compuesto de símbolos que se unen entre sí formando cadenas que a su vez pueden ser manipuladas según reglas para producir otras cadenas. De esta manera, el sistema formal es… …   Enciclopedia Universal

  • Sistema-L — Un sistema L o un sistema de Lindenmayer es una gramática formal (un conjunto de reglas y símbolos) principalmente utilizados para modelar el proceso de crecimiento de las plantas; puede modelar también la morfología de una variedad de organismos …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.